The fact that genes and environment contribute differentially to variation in human behaviors, traits and attitudes is central to the field of behavior genetics. Perceptions about these differential contributions may affect ideas about human agency. We surveyed two independent samples (N = 301 and N = 740) to assess beliefs about free will, determinism, political orientation, and the relative contribution of genes and environment to 21 human traits. We find that lay estimates of genetic influence on these traits cluster into (...) four distinct groups, which differentially predict beliefs about human agency, political orientation, and religiosity. Despite apparent ideological associations with these beliefs, the correspondence between mean lay estimates and published heritability estimates for the surveyed traits is large (r = .77). Belief in genetic determinism emerges as a modest predictor of accuracy in these lay estimates. Additionally, educated mothers with multiple children emerge as particularly accurate in their estimates of the genetic contribution to these traits. (shrink)

Seeking to unlock the secrets of consciousness, neuroscientists have been studying neural correlates of sensory awareness, such as meaningless randomly moving dots. But in the natural world of species' survival, “raw feelings” mediate conscious adaptive responses. Merker connects the brainstem with vigilance, orientating, and emotional consciousness. However, depending on the brain's phylogenetic level, raw feeling takes particular forms. (Published Online May 1 2007).

In this work, we provide a broad overview of the distinct stages of E-Discovery. We portray them as an interconnected, often complex workflow process, while relating them to the general Electronic Discovery Reference Model (EDRM). We start with the definition of E-Discovery. We then describe the very positive role that NIST’s Text REtrieval Conference (TREC) has added to the science of E-Discovery, in terms of the tasks involved and the evaluation of the legal discovery work performed. Given the critical nature (...) that data analysis plays at various stages of the process, we present a pyramid model, which complements the EDRM model: for gathering and hosting; indexing; searching and navigating; and finally consolidating and summarizing E-Discovery findings. Next we discuss where the current areas of need and areas of growth appear to be, using one of the field’s most authoritative surveys of providers and consumers of E-Discovery products and services. We subsequently address some areas of Artificial Intelligence, both Information Retrieval-related and not, which promise to make future contributions to the E-Discovery discipline. Some of these areas include data mining applied to e-mail and social networks, classification and machine learning, and the technologies that will enable next generation E-Discovery. The lesson we convey is that the more IR researchers and others understand the broader context of E-Discovery, including the stages that occur before and after primary search, the greater will be the prospects for broader solutions, creative optimizations and synergies yet to be tapped. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

While there have been many essays devoted to comparing the work of Maurice Merleau-Ponty with that of Jacques Derrida, there has been no sustained book-length treatment of these two French philosophers. Additionally, many of the essays presuppose an oppositional relationship between them, and between phenomenology and deconstruction more generally. -/- Jack Reynolds systematically explores their relationship by analyzing each philosopher in terms of two important and related issues—embodiment and alterity. Focusing on areas with which they are not commonly associated (...) (e.g., Derrida on the body and Merleau-Ponty on alterity) makes clear that their work cannot be adequately characterized in a strictly oppositional way. Merleau-Ponty and Derrida: Intertwining Embodiment and Alterity proposes the possibility of a Merleau-Ponty-inspired philosophy that does not so avowedly seek to extricate itself from phenomenology, but that also cannot easily be dismissed as simply another instantiation of the metaphysics of presence. Reynolds argues that there are salient ethico-political reasons for choosing an alternative that accords greater attention to our embodied situation. (shrink)

Scholars who mention the turn to Aristotelian virtue ethics in the Mid-Twentieth Century tend to cite G. E. M. Anscombe’s famous ‘complaint’, and sometimes Alasdair MacIntyre’s After Virtue. It is less usual to write of Roger Scruton. Placed in the context of Bernard Williams and John Casey’s works – at the intersection of moral philosophy and the philosophy of the emotions – Scruton’s theory of the imagination is shown to concern the rationality of moral attitudes. In short, it concerns virtue (...) ethics. Of broader interest, following Scruton’s arguments, his aesthetics may be conceived as concerning stores of moral knowledge; this is by virtue of the sensuous conditioning of the thought-content of moral judgement. The centrality of imitation to Aristotelian ethics, in other words, finds its concomitant in the object of imitation as the artwork. It is my view that Scruton’s work, Art and Imagination (his PhD thesis of 1973), is an attempt to provide a framework for the judgement involved in virtue ethics, concerning both intentionality and object. (shrink)

In this paper I explore a series of fertile ambiguities that Merleau-Ponty’s work is premised upon. These ambiguities concern some of the central methodological commitments of his work, in particular his commitment to transcendental phenomenology and how he transforms that tradition, and his relationship to science and philosophical naturalism and what they suggest about his philosophical methodology. Many engagements with Merleau-Ponty’s work that are more ‘analytic’ in orientation either deflate it of its transcendental heritage, or offer a “modest” rendering of (...) its transcendental dimensions. This is also true, albeit perhaps to a lesser extent, of the work of the more empirically-minded phenomenological philosophers who engage very seriously with Merleau-Ponty—e.g. Hubert Dreyfus, Shaun Gallagher, Evan Thompson, Alva Noë, and others. At the same time, many other scholars contest these proto-scientific and more naturalistic uses of Merleau-Ponty’s work on hermeneutical and exegetical grounds, and they likewise criticise the deflated reading of his transcendental phenomenology that tends to support them. By working through some of the key passages and ideas, this paper establishes that the former view captures something pivotal to Merleau-Ponty’s philosophy. I also extend these interpretations by arguing that, at least around the time of Phenomenology of Perception, his philosophy might be reasonably regarded as a form of minimal methodological naturalism. (shrink)

America’s industries and families continue to forsake cities for suburban and rural environs, in the process leaving nonproductive lands (brownfields) and simultaneously removing greenfield land from agriculturally or biologically productive use. In spite of noteworthy exceptions, urban regions which once functioned as vital communities continue in economic and social decline. Discussion or debate about the problem (or, indeed, whether it is a problem at all) invokes systems of values which often are not articulated. Some attribute the urban exodus to departure (...) from personal ethical norms (e.g., substance abuse, violence, welfare addiction) by urban residents, as though ethical decline is driving the phenomenon. Others take the exact opposite stance, that social and economic decline follow the departure of the economic base. There is no consensus on what government should do about the problem, or whether government should be involved at all. I present elements of a land-use ethic which can accommodate the foregoing. I argue that government is already involved in the brownfields problem because urban flight is facilitated by public policies which de facto subsidize the process. I further argue that the debate invokes key—but unexamined—assumptions regarding limits. Where there are few substitutes for resources and the social cost of exploitation is high, government intervention in the market is necessary; “value-free” economic approaches need to be supplemented by values concerning what ought to be, i.e., what is desirable for society. (shrink)

America’s industries and families continue to forsake cities for suburban and rural environs, in the process leaving nonproductive lands (brownfields) and simultaneously removing greenfield land from agriculturally or biologically productive use. In spite of noteworthy exceptions, urban regions which once functioned as vital communities continue in economic and social decline. Discussion or debate about the problem (or, indeed, whether it is a problem at all) invokes systems of values which often are not articulated. Some attribute the urban exodus to departure (...) from personal ethical norms (e.g., substance abuse, violence, welfare addiction) by urban residents, as though ethical decline is driving the phenomenon. Others take the exact opposite stance, that social and economic decline follow the departure of the economic base. There is no consensus on what government should do about the problem, or whether government should be involved at all. I present elements of a land-use ethic which can accommodate the foregoing. I argue that government is already involved in the brownfields problem because urban flight is facilitated by public policies which de facto subsidize the process. I further argue that the debate invokes key—but unexamined—assumptions regarding limits. Where there are few substitutes for resources and the social cost of exploitation is high, government intervention in the market is necessary; “value-free” economic approaches need to be supplemented by values concerning what ought to be, i.e., what is desirable for society. (shrink)

In this paper, I argue that Marcus G. Singer’s attack on Actual Consequence Utilitarianism, as held by G.E. Moore, is inconclusive. Singer contends that Moore’s view is incoherent because it cannot provide a criterion of moral rightness and wrongness. Singer makes the historical claim that Moore intended his theory to provide such a criterion and the philosophical claim that any moral theory must provide such a criterion.I contend that Singer’s historical claim is false. While Moore uses the terms ‘criterion’ and (...) ‘test’ in connection with his moral theory, an examination of Moore’s use of the terms shows that this notion does not involve the verifiability that is at the heart of Singer’s understanding of ‘criterion’.I then argue that Singer’s claim that moral judgments be verified begs the question against Moore’s realism. I argue that Singer must either reject semantic realism in general or give up the view that moral judgments are objectively true or false. (shrink)

In this paper, I argue that Marcus G. Singer’s attack on Actual Consequence Utilitarianism, as held by G.E. Moore, is inconclusive. Singer contends that Moore’s view is incoherent because it cannot provide a criterion of moral rightness and wrongness. Singer makes the historical claim that Moore intended his theory to provide such a criterion and the philosophical claim that any moral theory must provide such a criterion.I contend that Singer’s historical claim is false. While Moore uses the terms ‘criterion’ and (...) ‘test’ in connection with his moral theory, an examination of Moore’s use of the terms shows that this notion does not involve the verifiability that is at the heart of Singer’s understanding of ‘criterion’.I then argue that Singer’s claim that moral judgments be verified begs the question against Moore’s realism. I argue that Singer must either reject semantic realism in general or give up the view that moral judgments are objectively true or false. (shrink)

2 no predictions or experimental findings based on the Identity Theory differ from those based on mind-brain Parallelism or Epiphenomenal ism, i.e., Dualism in general. The Identity Theory, therefore, must stand or fall on its reputed conceptual advantages over Dualism. Then the conceptual issues at stake in the mind-brain problem are discussed. The kernel of truth present in the Identity Theory is shown to be obscured by all the talk about reducing sensations to neural processes. An attempt is made to (...) characterize pain adequately as a pattern or complex of bodily processes. This view is then reconciled with the asymmetry in the way one is aware of one's own pains and the way in which others are. This asymmetry constitutes an epistemological dualism which no philosophical theory or scientific experiment could alter. The sense in which experiences are both mental and physical is thus elucidated. A Multi-Aspect Theory of the mind is presented and defended. Five aspects of pain are discussed in some detail: experiential, neural, bodily, behavioral and verbal. Having a mind characteristically involves having all of these features except the bodily (i.e., a physical irregularity). Thus having a mind characteristically entails having experiences and a healthy, functioning brain. It also involves being able to act and speak reasonably intelligently. (shrink)

In this article, we present evidence of a bidirectional coupling between moral concern and the attribution of properties and states that are associated with experience (e.g., conscious awareness, feelings). This coupling is also shown to be stronger with experience than for the attribution of properties and states more closely associated with agency (e.g., free will, thoughts). We report the results of four studies. In the first two studies, we vary the description of the mental capacities of a creature, and assess (...) the effects of these manipulations on moral concern. The third and fourth studies examine the effects of variations in moral concern on attributions of mindedness. Results from the first two studies indicate that moral concern depends primarily on the attribution of experience, rather than the attribution of agency. The results of the latter two studies demonstrate that moral concern increases attributions of mindedness, and that this effect is stronger for attributions of experience than for attributions of agency. (shrink)

In some recent work, Ernest Sosa rejects the “perceptual model” of rational intuition, according to which intuitions (beliefs formed by intuition) are justified by standing in the appropriate relation to a nondoxastic intellectual experience (a seeming-true, or the like), in much the way that perceptual beliefs are often held to be justified by an appropriate relation to nondoxastic sense experiential states. By extending some of Sosa’s arguments and adding a few of my own, I argue that Sosa is right to (...) reject the perceptual model of intuition, and that we should reject the “perceptual model” of perception as well. Rational intuition and perception should both receive a virtue theoretic (e.g., reliabilist) account, rather than an evidentialist one. To this end, I explicitly argue against the Grounds Principle, which holds that all justified beliefs must be based on some adequate reason, or ground. (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

Jason Brown started his career as a neurologist specializing in language disorders, perceptive illusions, and impaired action. But beyond his activity as a physician he is a man of genuinely theoretical appetite. As satisfying as it is to help improve the situation of sick fellow humans, this alone does not characterize him well. Those who know him closer know his insistent urge to find a philosophical framework for his clinical practice and research, together with his desire for a more humane (...) society. Those who do not know him will see this immediately when they read his most recent book Process and the authentic life (Brown 2006). This is, in a nutshell, how and why Brown came to look into process philosophy, as an alternative to philosophical systems focusing on substances such as the Cartesian res cogitans and res extensa, on which science and technology are essentially based. Process philosophy holds some radical deviations from these systems, and may be regarded as complementary to them (Roemer 2006), although any such convergence is hotly contested (e.g., Bickhard 2004). Best known among adherents of a process worldview is Whitehead with his opus magnum Process and Reality. Brown’s approach is clearly in the spirit of Whitehead’s. However, due to his medical and psychological background it differs in motivation, and consequently it differs in the way it is carried out. While Whitehead, originally a mathematician, tried to be as precise and detailed as possible in his definitions, arguments and conclusions, Brown strives for his humanistic goal more directly. His accounts are based on examples rather than formal inferences, everyday experiences rather than abstract constructions. (shrink)

This essay is an elaboration on some central themes and arguments from my recent book, Chronopathologies: Time and Politics in Deleuze, Derrida, Phenomenology and Analytic Philosophy (Rowman and Littlefield 2012). There is hence an element of generality to this essay that the book itself is better able to justify. But a short programmatic piece has its own virtues, especially for those of us who are time poor (which is pretty much everyone in contemporary academia). Moreover, it adds a dimension to (...) the above book by more explicitly situating it in relation to what is an emerging view in some recent scholarship (such as John McCumber, Len Lawlor, David Hoy, and before this Liz Grosz) that time is central to the identity of continental philosophy, as well as considering some of the work that in different ways contests this kind of interpretation of the identity of continental philosophy (e.g. Simon Glendinning, and, tacitly, Paul Redding). In continuing to side with the former over the latter, I will also develop my argument that time is one of the most significant factors in the divided house that I think contemporary philosophy remains, and I conclude by offering a series of negative prescriptions regarding how we might better avoid particular chronopathologies, or time-sicknesses, that are endemic to these philosophical trajectories, and that are also present (to greater and lesser degrees) in the majority of individual philosophers standardly labelled analytic and continental. To the extent that such sicknesses are at least partly inevitable, akin to a transcendental illusion, this paper consists in a call to be more attentive to this tendency, and to the methodological, metaphilosophical, and ethico-political consequences that follow from them. (shrink)

There has recently been a plethora of attempts to understand the key differences that separate the analytic and continental traditions of philosophy, often involving either painstaking descriptions of the divergent argumentative techniques and methodologies that concern them, or comparatively examining in detail the work of certain major theorists in both traditions (e.g. Rawls and Derrida, Lewis and Deleuze). While partly drawing on these two approaches, in this particular essay I instead propose a rather more speculative way of teasing out the (...) differences between them, interpreting them through the lens of Gilles Deleuze’s non-oppositional typology of sadism and masochism, as it is expressed in Difference and Repetition and ‘Coldness and Cruelty’. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Phenomenological Interviews and Tourette'sThe authors report no conflicts of interest.We appreciate the responses from the two clinicians, Efron and Mathieson. We agree with their reminder about the holistic nature of clinician's engagement (mood, sociality, and work life) and with their emphasis on patient-reported outcome measures, although this is not quite what we did in our interviews. As has recently been recognized in section 24 of the Victorian Mental Health (...) and Well-being Act (to provide a local Australian example), patients and caregivers' "lived experience makes them valuable leaders and active partners in the mental health and wellbeing service system."1In this paper, however, our aim was both more modest and immodest: modest, in that we aimed to work with those "leaders and active partners" to generate a more adequate account of lived experience in concert with behavioral symptomatology; immodest, in that we wondered how the lived experience of Tourette syndrome (TS) aligned (or not) with some of the commonly ascribed features of the condition. Although phenomenology as a discipline does not own lived experience, of course, it is more systematically treated in this tradition, starting with elaborations of Erlebnis.Efron and Mathieson note that older patients are more likely to describe urges or premonitory urges (PUs). This raises the priming question: Has greater exposure to and involvement in medical concepts and treatments transformed the nature of their self-report, or has it provided them with more phenomenological skills, enabling them to pick out discrete parts of experience? Or perhaps they have just been exposed more frequently to the experience over time? We address some related issues below, in our reply to Fernandez, where we outline our interview techniques more fully.They end by noting that the aim of comprehensive behavioral intervention for tics is to become attentive to PUs to better block tics. This is complex and understudied. In principle, becoming aware of something cognitively and experientially can foreground or even perhaps induce that experience. Conversely, from the TS scholarship, we know that attending to urges in certain ways (e.g., via acceptance training) can also reduce perceived urge frequency and intensity (see Gev et al., 2016). We would welcome further work on this link between attention and experience in TS. [End Page 49]Response to FernandezBecause our paper was partly framed around Fernandez' own work on phenomenological psychopathology, we welcome his invitation to provide further "inspiration and guidance" for other phenomenological researchers conducting empirical studies, who may also be dealing with the challenge posed by "narrative habits." When an interviewee uses well-worn medicalized terms to describe their experience, it is not clear whether these descriptions genuinely reveal or rather occlude the experience in question. There are sometimes, perhaps often, second-person phenomenological 'tells' regarding interviewees genuinely re-evoking an experience, but for interviewers it still raises the question of how to prompt alternative and potentially more accurate descriptions of experience.Because of this challenge, we purposely did not use the term "urge" or "premonitory urge" (PU) in our interview questions. Instead, we asked about (and used the broader term of) "experiences" that may occur prior, during, or after ticcing, without assuming that there are such experiences in the first place. We guided interviewees to evoke the memory of a specific, singular tic event (a tic token; see Curtis-Wendlandt 2020, 2023). Once a memory of such an event had been identified, we asked interviewees the following three lead questions:1. What, if anything, did you experience during this tic?2. What, if anything, did you experience before this tic?3. What, if anything did you experience after this tic?The temporal framing of these questions counters common trends and assumptions in the scholarship, which has focused heavily on pre-tic experiences, with little attention given to post-tic experiences (reduced to notions of "relief" and barely investigated), and even less to experiential explorations of the tic itself. Our catalogue of supporting questions sought to elicit fine-grained descriptions of evoked/recalled experiences along sensory and cognitive-affective dimensions:•. Did you see anything before, during, or after this tic? If so, what did you see?•. Did you hear anything... (shrink)

The role of the body in cognition is acknowledged across a variety of disciplines, even if the precise nature and scope of that contribution remain contentious. As a result, most philosophers working on embodiment—e.g. those in embodied cognition, enactivism, and ‘4e’ cognition—interact with the life sciences as part of their interdisciplinary agenda. Despite this, a detailed engagement with emerging findings in epigenetics and post-genomic biology has been missing from proponents of this embodied turn. Surveying this research provides an opportunity to (...) rethink the relationship between embodiment and genetics, and we argue that the balance of current epigenetic research favours the extension of an enactivist approach to mind and life, rather than the extended functionalist view of embodied cognition associated with Andy Clark and Mike Wheeler, which is more substrate neutral. (shrink)

In this paper I shall venture into an area with which I am not very familiar and in which I feel far from confident; namely into phenomenology. My main motive is not to get away from standard, boring, methodological questions like those of induction and demarcation; but the conviction that a phenomenological account of the empirical basis forms a necessary complement to Popper's falsificationism. According to the latter, a scientific theory is a synthetic and universal, hence unverifiable proposition. In fact, (...) in order to be technologically useful, a scientific hypothesis must refer to future states-of-affairs; it ought therefore to remain unverified. But in order to be empirical, a theory must bear some kind of relation to factual statements. According to Popper, such a relation can only be one of potential conflict. Thus a theory T will be termed scientific if and only if T is logically incompatible with a so-called basic statement b, where b is both empirically verifiable and empirically falsifiable. In other words: T is scientific if it entails ¬b; where b, hence also ¬b, is an empirically decidable proposition. (shrink)

Domestic livestock animals and soils must be considered together as part of an agroecosystem which includes plants. Soil sustainability may be simply defined as the maintenance of soil productivity for future generations. There are both positive and negative aspects concerning the role of animals in soil sustainability. In a positive sense, agroecosystems which include ruminant animals often also include hay forage-or pasture-based crops in the humid regions. Such crops stabilize the soil by decreasing erosion, improving soil structure and usually require (...) fewer chemical inputs. Monogastric animal culture is based on an agroecosystem consisting of mainly grain crops. These crops can result in the soil being exposed to water and wind erosion although soil conservation practices that significantly reduce soil losses may be followed. The management of animal manures is not always compatible with soil conservation practices. Careful management of the nutrients in manure is absolutely necessary to avoid nitrate contamination of ground water or phosphorus loading of streams and lakes. In a negative sense, increases in animal livestock populations in association with human population growth are promoting desertification in the arid and semi-arid regions of the world. The key component for a fully compatible and acceptable association between domestic animals and soil productivity is proper management. Careful management of the components of an animal-based agroecosystem is required if soil productivity and environmental quality are to be maintained. Although we have much to learn, technologies are available to move a considerable way towards this ideal state. (shrink)

Domestic livestock animals and soils must be considered together as part of an agroecosystem which includes plants. Soil sustainability may be simply defined as the maintenance of soil productivity for future generations. There are both positive and negative aspects concerning the role of animals in soil sustainability. In a positive sense, agroecosystems which include ruminant animals often also include hay forage-or pasture-based crops in the humid regions. Such crops stabilize the soil by decreasing erosion, improving soil structure and usually require (...) fewer chemical inputs. Monogastric animal culture is based on an agroecosystem consisting of mainly grain crops. These crops can result in the soil being exposed to water and wind erosion although soil conservation practices that significantly reduce soil losses may be followed. The management of animal manures is not always compatible with soil conservation practices. Careful management of the nutrients in manure is absolutely necessary to avoid nitrate contamination of ground water or phosphorus loading of streams and lakes. In a negative sense, increases in animal livestock populations in association with human population growth are promoting desertification in the arid and semi-arid regions of the world. The key component for a fully compatible and acceptable association between domestic animals and soil productivity is proper management. Careful management of the components of an animal-based agroecosystem is required if soil productivity and environmental quality are to be maintained. Although we have much to learn, technologies are available to move a considerable way towards this ideal state. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...) Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

A broad consensus affirms the concept that all human beings have equal moral worth (Beauchamp and Childress 1994; Rawls 1971). Translating this ethical norm into practice requires careful attention...

A broad consensus affirms the concept that all human beings have equal moral worth (Beauchamp and Childress 1994; Rawls 1971). Translating this ethical norm into practice requires careful attention...

We discuss a generalization of the standard notion of probability space and show that the emerging framework, to be called operational probability theory, can be considered as underlying quantal theories. The proposed framework makes special reference to the convex structure of states and to a family of observables which is wider than the familiar set of random variables: it appears as an alternative to the known algebraic approach to quantum probability.

We study the possibility of representing the proposition lattice associated with a quantum system by a linear vector space with coefficients from ap-adic field. We find inconsistencies if the lattice is assumed, as usual, to be irreducible, complete, orthocomplemented, atomic, and weakly modular.